OWL: A Description Logic Based Ontology Language
نویسنده
چکیده
• An ontology is an engineering artifact: – specific vocabulary used to describe a certain reality – explicit assumptions regarding the intended meaning of the vocabulary. • Thus, an ontology describes a formal specification of a domain: – Shared understanding of a domain of interest – Formal and machine manipulable model of a domain of interest • “An explicit specification of a conceptualisation” [Gruber93] Ontology (in Computer Science) Description Logics • A family of logic based Knowledge Representation formalisms – Descendants of semantic networks – Describe domain in terms of concepts (classes), roles (properties, relationships) and individuals • Distinguished by: – Formal semantics (typically model theoretic • Decidable fragments of first-order logic (FOL) • Closely related to Propositional Modal & Dynamic Logics – Inference services: • Decision procedures for key problems: satisfiability, subsumption, classification, etc. • Implemented systems (highly optimized)
منابع مشابه
An Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملRule-based OWL Reasoning 1 Running head: Rule-based OWL Reasoning Systems Rule-based OWL Reasoning Systems: Implementations, Strengths and Weaknesses
This chapter is focused on the basic principles behind the utilization of rules in order to perform reasoning about the Web Ontology Language (OWL), a Description Logic-based language that is the W3C recommendation for creating and sharing ontologies in the Semantic Web. More precisely, we elaborate on the entailment-based OWL reasoning (EBOR) paradigm, which is based on the utilization of RDF/...
متن کاملFire – a Description Logic Based Rule Engine for Owl Ontologies with Swrl-like Rules
Fire – A Description Logic Based Rule Engine for OWL Ontologies with
متن کاملF-OWL: an Inference Engine for Semantic Web1
Understanding and using the data and knowledge encoded in semantic web documents requires an inference engine. F-OWL is an inference engine for the semantic web language OWL language based on F-logic, an approach to defining kame-based systems in logic. F-OWL is implemented using XSB and Flora-2 and takes full advantage of their features. We describe how F-OWL computes ontology entailment and c...
متن کاملKnowledge Representation and Reasoning on the Semantic Web: OWL
OWL is the ontology language recommended by the W3C. OWL is heavily based on the knowledge representation languages called Description Logic, which provide the basic representation features of OWL. OWL also includes facilities that integrate it into the mainstream of the Web, including use of IRIs as names, XML Schema datatypes, and ontologies as Web documents, which can then import other OWL o...
متن کاملDL-Learner: Learning Concepts in Description Logics
In this paper, we introduce DL-Learner, a framework for learning in description logics and OWL. OWL is the official W3C standard ontology language for the Semantic Web. Concepts in this language can be learned for constructing and maintaining OWL ontologies or for solving problems similar to those in Inductive Logic Programming. DL-Learner includes several learning algorithms, support for diffe...
متن کامل